Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Все языки
Немецкий
Русский

reduction theorem

Толкование Перевод

1 reduction theorem

мат. редукционная теорема

Большой англо-русский и русско-английский словарь > reduction theorem
2 reduction theorem

Математика: редукционная теорема

Универсальный англо-русский словарь > reduction theorem
3 reduction theorem

мат.

редукционная теорема

English-Russian scientific dictionary > reduction theorem
4 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
5 редукционная теорема

мат. reduction theorem

Большой англо-русский и русско-английский словарь > редукционная теорема
6 process

1) процесс

2) процедура

3) технологический процесс || технологический

4) приём, способ

5) обрабатывать; перерабатывать

•

process with bounded aftereffect — процесс с ограниченным последействием

process with continuous spectrum — процесс с непрерывным спектром

process with denumerably many states — процесс со счётным множеством состояний

process with discrete spectrum — процесс с дискретным спектром

process with immigration — процесс с иммиграцией

process with independent increments — процесс с независимыми приращениями, аддитивный процесс

process with interactions — процесс с взаимодействиями

process with maximal rank — процесс с памятью

process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс

process with orthogonal increments — процесс с ортогональными приращениями

process with recycle — циркуляционный процесс

process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс

process with stationary increments — процесс со стационарными приращениями, однородный во времени процесс

process without aftereffect — процесс без последействия

process without memory — процесс без памяти

process without spontaneous changes — процесс без спонтанных изменений

- a priori process

- absolutely random process
- absorbing barrier process
- abstract process

- acid open-hearth process

- additive process

- age-dependent process

- alternating renewal process

- autoregressive process

- auxiliary process

- band-limited process

- basic Bessemer process
- basic oxygen process
- basic process

- basis open-hearth process

- Bessemer process

- binary process

- binomial process

- birth and death process

- birth process

- birth-and-death process

- birth-illness-death process

- bivariate process

- bloomery process

- bracketing process

- branching process

- canonical process

- cascade process

- centered process

- circular process

- circularly correlated process

- clustering process

- collecting process

- computation process

- computational process

- conditioned process

- conservative process

- constructive process

- contagion process

- continuation process

- continuous process

- continuous spinning process

- controlled process

- convergent process

- converter process

- convex process

- countercurrent process

- counter-flow process

- counting process

- Crouse process

- cumulative process

- cupola process

- decay process

- decision process

- decision-making process

- decomposable process

- degenerate process

- denumerable process

- denumerably-valued process

- diagonal process

- difference process

- differential process

- differentiation process

- digital process

- direct ore-reduction process
- direct reduction process
- directing process

- discontinuous process
- discrete process - discrete-time process
- dishonest process

- dissipative process

- distributed-parameter process

- disturbed harmonic process

- divergent process

- drawn-gate CMOS process

- dry-press process

- dual process

- dynamic process

- elementary process

- empirical process

- equally correlated process

- equally-correlated process

- equilibrium process

- ergodic process

- evolutionary process

- exhaustive process

- explosive process

- exponential process

- extended process

- extinction process

- feedback process

- feedforward process

- fictitions process

- finite process

- fitting process

- fundamental process

- general process

- generating process

- genetic process

- gradient process

- graph-searching process

- growth process

- half-additive process

- harmonic process

- harmonizable process

- hereditary process

- heterogeneous in time process

- heterogeneous process

- heuristic process

- holomorphic process

- homogeneous process

- imbedded renewal process

- immigration process

- increasing process

- independent increments process

- indirect process

- induced process

- infinetely divisible process

- infinite process

- infinitely decomposable process

- infinitesimal process

- informational process

- inhomogeneous process

- integer-value process

- integrable process

- interpolatory process

- inverse process

- irreversible process

- isentropic process

- isobaric process

- isochoric process

- isonormal process

- isothermal process

- isotropic process

- iterative process

- jointly stationary process

- jump process

- Kroll process

- ladder process

- learning process

- left-continuous process

- linear process

- linearly regular process
- linearly singular process - locally integrable process - locally stable process
- logistic process

- lumped process

- many-state death process

- martingale process

- measurable process

- memoryless process

- metrically transitive process

- minimal process

- mixed process

- mixing process

- modulated process

- Moebius process

- monotonous process

- moving summation process

- moving-average process

- multidimensional process

- multiparameter process

- multiple-chain process

- multiple-phase process

- multiplicative process

- multistage process
- multistep process - multivariate process - N-dimensional process
- near-equilibrium process

- neutral process

- noise process

- nondeterministic process

- nondissipative process

- nonequilibrium process

- nonhereditary process

- nonhomogeneous process

- nonnormalized process

- nonpreemptive process

- nonstationary process

- nonsteady process

- numerical process

- observation process

- observed process

- one-dimensional process

- one-sided process

- one-state process

- open-hearth process

- optimal process

- optimum process

- Orbach process

- orthogonal process

- orthogonalization process

- oxidizing process

- partially deterministic process
- partially mixing process
- percolation process

- periodic process

- periodically stationary process

- persistent process

- perturbated process

- piecewise-linear process

- pig-and-ore process

- plasma spraying process

- point process

- positively regular process

- predictable process

- probabilistic process

- process of abstraction

- process of exhaustion

- process of finite variation
- process of hidden periodicities
- process of iteration

- process of randomization

- process oil

- product process

- production process

- pseudorandom process

- purely random process

- pursuit process

- quasistable process

- quasistationary process

- random-walk process

- real-valued process

- reciprocal process

- recurrent process

- recursive process

- reduced process

- reducible process

- reduction process

- regenerative process

- regular process

- renewal process

- repeatable process

- repetitive process

- restorative process

- return process

- reverberatory process

- reverse process

- rewriting process

- right-continuous process

- risk process

- rotor process

- sampling process

- search process

- second-order stationary process

- selection process

- separable process

- sequential decision process

- sequential process

- shuffling process

- side-blown converter process

- sieving process

- simple process

- simplex process

- singular process

- slowly branching process

- smoothed process

- smoothing process

- soft-mud process

- space-time process

- spatial process

- spectral process

- stagewise process

- standard process

- statistically stationary process
- steady stochastic process
- steady-state process

- steel-making process

- stencil process

- stepwise process

- stochastic process

- stopped process

- strictly stationary process

- subordinated process

- summation process

- supercritical process

- synergistic process

- temporally continuous process
- temporally homogeneous process
- terminating process

- theorem-proving process

- time-dependent process

- time-homogeneous process

- trajectory process

- transient process

- transport process

- trial-and-error process

- two-dimensional process

- two-sided process

- two-stage process

- two-state process

- umklapp process

- uncontrolled process

- uniform process

- unit process

- unstable process

- unsteady process

- unsteady-state process

- vector process

- vector-valued process

- weakly correlated process
- weakly ergodic process - weakly stationary process
- welding process

- well-measurable process

- wide sense stationary process

- Wohlwill process

- xiphoid process

- zero-one renewal process

English-Russian scientific dictionary > process
7 deduction

1. n вычитание, удержание

tax deduction — удержание налога

after deduction — после удержания

deduction from payments — удержание из платежей

2. n удержание, вычет

after deduction of taxes — после удержания налогов

income deduction — вычет из прибыли

interest deduction — процентный вычет

deduction from income — вычет из прибыли

propelling power deduction — вычет на движущие механизмы

3. n мат. вычитаемое

4. n скидка, сбавка; уступка

a deduction in the yearly rent — скидка на годовую ренту

additional deduction — дополнительная сбавка

deduction for composition — сбавка за композицию

deduction for repetition — сбавка баллов за повторение

zone deduction — сбавка за нарушение зоны толчка руками

mortgage interest deduction — скидка с процента по закладной

5. n вывод, заключение, следствие

fallacious deduction — ложный вывод

contributory deduction — вносящий вывод

resulting deduction — результирующий вывод

subsidiary deduction — вспомогательный вывод

6. n лог. выведение, дедукция

to draw a deduction — сделать вывод, вывести следствие

deduction theorem — теорема о дедукции

hypothetic deduction — гипотетическая дедукция

hypothetical deduction — гипотетическая дедукция

Синонимический ряд:

1. inference (noun) answer; conclusion; illation; inference; judgement; judgment; ratiocination; result; sequitur

2. inferring (noun) concluding; inferring; reasoning

3. reduction (noun) abatement; abstraction; discount; excision; rebate; reduction; removal; subtraction

English-Russian base dictionary > deduction
8 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
9 system

1) система; комплекс

2) совокупность

•

system in equilibrium — система в стационарном состоянии

- absolutely complete system
- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system
- abstract system

- accumulator hydraulic system

- adaptive system

- additively closed system

- addressing system

- adjoint system

- affixative system

- aholonomic system

- aircraft electrical system

- airdrop system

- algebraically complete system
- allowable coordinate system - almost linear system - ample linear system
- ample system

- analytic system

- anholonomic system

- antenna system

- anticanonical system

- antiinvariant system

- antisymmetric system

- aperiodic system

- applicative system

- appointment system

- approach and docking system
- artificial feel system
- assertional system

- associated system

- associative system

- asymmetric system

- asymptotically stable system

- asynchronous system

- atomic system

- augmented system

- automated landing system
- automatic block system - automatic deicing system
- autonomous system

- axiomatic system

- axiomatizable system

- backward system

- balanced system

- base-ten system

- base-two system

- basic system

- betting system

- bicylindrical coordinate system

- bilinear system

- binary number system
- binary relational system - binary-coded decimal system
- binomial system

- biorthogonal system

- biorthonormal system

- bipolar coordinate system
- block tooling system
- block-recursive system

- branching system

- Brembo braking system

- bus system

- c.m. system

- carrier frequency system
- Cartesian coordinate system
- categorical system

- causal system

- cellular system

- center-of-mass system

- chance cause system

- characteristic system

- classical system

- classification system

- closed system

- closed-circuit television system

- closure system

- coarse system

- coaxial system of circles

- code system

- coding system

- cofinal system

- coherent system

- collection system

- combinatorial system

- commutation system

- complete system

- completely continuous system
- completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system
- complex system

- compound system

- computation system

- concatenative system

- conceptual system

- conditionally stable system
- conical coordinate system
- conjugate system

- conjunctive system

- connected system

- connecting system

- conservative system

- consistent system

- consistently interpretable system

- constant system

- constrained system

- continuous system

- continuously ordered system

- contragradient system

- control system

- controllable system

- controlled system

- convergence system

- converse system

- convex system

- cooling system

- correct formal system

- countable system

- counting system

- covariant local system

- creative system

- critical system

- crossbar system

- cryoelectronic system

- cybernetic system

- cycle matching system

- cyclic system

- data reduction system

- decadic system

- decidable system

- decision-making system

- decoding system

- decomposable system

- deductive system

- defective system of eigenvectors

- deflection system

- degenerate system

- denary system

- densely ordered system
- derivational formal system
- determinate system

- determined system

- determining system

- deterministic system

- diagonal system

- dial system

- dichotomous system

- difference equation system
- differential equation system - differential selsyn system - digital counting system - digital transmission system
- direct system

- directed system

- directly indecomposable system

- disconjugate system

- discrete system

- discrete-continuous system

- disjunctive system

- dispatch telephone system

- dissipative system

- distributed system

- dodecadic system

- doudecimal system

- draft system

- drainage system

- draw-in conduit system

- dual system

- duodecimal system

- duplex radio system

- dynamic system

- earth system

- elementarily equivalent system

- elementary system

- ellipsoidal coordinate system
- elliptic coordinate system - elliptic cylindrical coordinate system
- elliptic system

- encoder system

- energy system

- equational system

- equationally equivalent system

- equianharmonic system

- equicontinuous system

- equidistant system

- equivalence system

- equivalent system

- ergodic system

- error-controlled system

- essentially undecidable system

- eutactic system

- evaporator system

- exclusive system

- exponentially stable system
- externally inconsistent system
- extremal system

- extremally stable system

- feasible system

- fiber-optic communication system

- finder system

- finiitely definable system
- finite state system
- finite system

- finite-dimensional system

- finitely approximated system
- finitely axiomatizable system - finitely presented system
- finitizable system

- fixed-parameter system

- focusing system

- forced system

- formal system

- formalized system

- forward system

- free system

- fuel conveying system
- fully characteristic quotient system
- function system

- functional system

- fundamental system of neighborhoods
- fundamental system of solutions
- fuzzy system

- gas-cleaning system

- gas-pressurized system

- general system

- generalized system

- generating system

- grand system

- ground system

- hereditarily generating system

- heterogeneous system

- heuristic system

- hexadecimal number system

- hierarchy system

- history of system

- homogeneous system

- homoloidal system

- homomorphic system

- hot-water system

- hydraulic handling system
- hydraulic lift system
- hyperbolic system

- hypercomplex number system

- hypercomplex system

- hypoelliptic system

- hypothetical system

- ideal system

- idealized system

- imprimitive system

- imprimitivity system

- incidence system

- incompletable system

- incomplete system

- inconsistent system

- indecomposable system

- indexing system

- inductive system

- inequality system

- inertial system

- information retrieval system

- information system

- infravariant total system

- inhomogeneous system

- initial system

- inner system

- inteblock system

- integral system

- integrated manufacturing
- integrated switching system
- integrated system

- interconnected power system

- interpolation system

- interpretating system

- intuitionistic system

- inverse system

- invertible system

- involutory system

- irreducible system

- irreduciblly inconsistent system

- isolated system

- isometric system

- isomorphic system

- isomorphically embeddable system
- isomorphically embedded system
- isothermmic system

- iterative system

- jet engine starter system
- kernel normal system
- Korsch system

- laboratory system

- lacunary system

- ladder-type system

- lamellar system

- large system

- lattice system

- learning system

- left-handed coordinate system

- life-support system

- lightguiding system

- linear programming system
- linearly dependent system - linearly independent system - live hydraulic system
- local system

- locally embeddable system
- locking protection system
- logarithmic system

- logistic system

- loop carrier system

- lossless system

- lumped system

- majority voted system

- maximal system

- maximally overdetermined system
- meteor-burst communication system
- minimal system

- minimax system

- miniquaternion system

- modal system

- modular pneumatic-device system
- modular programming system
- modular system

- monogenic system

- monomorphic system

- monotonic system

- multiassertional system

- multidimensional system

- multilayer system

- multimodal system

- multiperiodic system

- multiple-data-set system

- multiple-input system

- multiplicative system

- multiplicatively closed system

- multiplier system

- multipoint distribution system

- multistable system

- multistage system

- multivariable system

- natural system

- neutral system

- nohereditary system

- nonassociative system

- nonautonomous system

- nonautonomous system

- noncritical system

- nondissipative system

- nonelementary system

- nonholonomic system

- nonlinear system

- nonoscillating system

- nonperiodic system

- nonrecursive system

- nonregular system

- nonsingular system

- nonstationary system

- n-order system

- normed system

- notation system

- n-state system

- null system

- number representation system

- number system

- numerical system

- observable system

- octal number system

- octal system

- one-loop system

- one-phase system

- open-flow intake system

- optimum system

- ordered system

- orthogonal coordinate system

- outer system

- overdetermined system

- oversimplified system

- packet transmission system

- pantactic system

- parabolic coordinate system
- parabolic cylindrical coordinate system
- parabolic system

- paraboloidal coordinate system

- parametric system

- partial system

- partially ordered system
- permanent four-wheel drive system
- perturbed system

- piece-rate system

- Pitot static system

- pluricanonical system

- pluriparabolic system

- polyhierarchical system

- polynominal-like system

- polystable system

- positional system

- pressure intake system

- prime system

- primitively elementary system

- probabilistic system

- projective coordinate system

- projective system

- prolate spheroidal coordinate system

- propulsion system

- prorepresentation system

- prototype system

- pseudodynamic system

- public address system

- pulsed navigation system
- pure independent system
- quadrophonic system

- quasicanonical system

- quasicomplete system

- quasi-electronic switching system

- quasiergodic system

- quasiharmonic system

- quasilinear system

- quasimultiplicative system

- quasiordered system

- quasireducible system

- quasistable system

- quasitriangular system

- queuing system

- quinary system

- quotient system

- radial ventilation system
- radio telephone system
- ramified system

- random system

- reactor control system
- reactor protection system - real number system - receiver-amplifier crioelectric system
- recovering system

- recurrent system

- reduced system

- redundant system

- regenerating system

- regularized system

- relational system

- relative system

- relatively isolated system
- remote-cylinder hydraulic system
- residual system

- resolving system

- restricted system

- retrospective system

- rheonomic system

- ride control system

- right-handed coordinate system

- right-handed system

- robot system

- root system

- rotating coordinate system

- safety-trip system

- sampled-data system

- satellite navigation system

- saturated system

- scanning system

- scleronomic system

- scoring system

- self-adaptive system

- self-adjoint system

- self-adjusting system

- self-contradictory system

- self-dual system

- self-excited system

- self-learning system

- self-optimizing system

- self-organizing system

- self-oscillating system

- semantic system

- semantically complete system
- semantically consistent system
- semidynamical system

- semilinear system

- semiordered system

- semiotic system

- semiregular coordinate system

- separable system

- sewage system

- sexadecimal system

- sexagesimal system

- shift system

- simply complete system
- simply consistent system - simply incomplete system - simply ordered system
- simulated system

- smooth system

- solvable system

- speed coding system
- spherical coordinate system
- spraying system

- sprinkling system

- stabilizable system

- staff system

- stand-by system

- star-like system

- start-stop system

- start-up system

- State System of Instruments

- state-determined system

- static system

- statistical system

- stochastic system

- stochastically connected system

- storage system

- stratified system

- strongly elliptic system
- strongly multiplicative system - structurally stable system - sufficiently general coordinate system
- summability system

- surjective system

- switching system

- syntactical system

- syntactically complete system

- synthesized system

- system of awards

- system of axioms

- system of calculation

- system of causes

- system of circles

- system of coefficients

- system of common representatives

- system of conditions

- system of coordinates

- system of distinct representatives

- system of eigenvalues

- system of equations

- system of factor groups
- system of frequency curves
- system of generators

- system of groups

- system of hypotheses

- system of imprimitivity

- system of independent estimations

- system of inequalities

- system of integers

- system of integrity

- system of lines

- system of logarithms

- system of matrices

- system of measures

- system of neighborhoods

- system of numeration

- system of parameters

- system of preferences

- system of proper functions

- system of pseudoequivalence

- system of random varables
- system of rational numbers
- system of reference

- system of representations

- system of residual classes

- system of sets

- system of simultaneous equations

- system of subgroups

- system of surfaces

- system of transition functions

- system of transitivity

- system of units

- system of weights

- system of wheels

- tag system

- tally system

- telegraph block system

- telephone system

- television relay system

- television system

- temperature control system

- ten-step system

- ternary system

- theorem-proving system

- time interval system
- time multiplex system - time-division multiplex system
- time-invariant system

- time-varying system

- timing system

- topologizing system

- toroidal coordinate system

- total system

- transient system

- transitivity system of group

- transmission system

- transposed system

- tree-like system

- triangulation system

- trichotomous system

- trichromatic system

- triclinic system

- trigonal system

- trigonometric system

- triorthogonal system

- triple system

- triple-orthogonal system

- trivial system

- truth-value system

- twelve-channel system

- two-level system

- two-particle system

- tyrefit system

- unattended system

- undecidable system

- underdetermined system

- unified radiotelemetry system
- uniformly complete system - univalent system of notation - universal system of notation
- unperturbed system

- unsaturated system

- unsolvable system

- unstable system

- variable-coefficient system

- vector system

- ventilation system

- very large system

- video system

- voting system

- warning system

- water utilization system

- water-sludge system

- weakly atomic system
- weakly closed system - weighted number system
- weighting system

- wellpoint system

- zero-order system

English-Russian scientific dictionary > system
10 addition

1. n прибавление; дополнение; пополнение

addition in the margin — заметки на полях

addition to the staff of the school — новый учитель школы

addition to the library — новое поступление в библиотеку

in addition — кроме того, вдобавок; к тому же

in addition he was rude to me — вдобавок он мне нагрубил

chain addition — дополнение последовательных значений

in addition to the above — в дополнение к вышеуказанному

2. n амер. пристройка, крыло

3. n амер. пограничный участок земли, присоединённый к участку другого владельца

4. n амер. пригородный участок, выделенный для городского строительства

5. n амер. эк. прирост основного капитала

addition to capital — прирост капитала

net addition to assets — чистый прирост активов

addition to fixed assets — прирост основных фондов

addition to surplus — отчисление в резервный капитал

net addition to labor force — чистый прирост рабочей силы

6. n амер. мат. сложение; суммирование

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

7. n амер. хим. примесь

8. n амер. метал. присадка

addition agent — легирующий элемент

ladle addition — присадка в ковш

9. n амер. геол. привнос

Синонимический ряд:

1. accession (noun) accession; accretion; augmentation; expansion; increase; increment; raise; rise

2. addendum (noun) addendum; adjunct; appendage

3. adding (noun) adding; appending; attaching; joining

4. annex (noun) annex; extension; wing

5. annexation (noun) accessory; admixture; annexation; cast; codicil

6. summation (noun) computing; counting; reckoning; summation; summing up; tabulating; totaling

Антонимический ряд:

decrease; deduction; deterioration; detraction; diminution; drawback; lessening; loss; preface; reduction; subtraction

English-Russian base dictionary > addition

См. также в других словарях:

Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Reduction of the structure group — In mathematics, in particular the theory of principal bundles, one can ask if a G bundle comes from a subgroup H < G. This is called reduction of the structure group (to H), and makes sense for any map H o G, which need not be an inclusion… … Wikipedia
Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… … Wikipedia
Uncertainty reduction theory — was introduced in 1975 in a paper entitled Some Exploration in Initial Interaction and Beyond: Toward a Developmental Theory of Interpersonal Communication . This theory, a collaborative effort of Charles R. Berger and Richard J. Calabrese, was… … Wikipedia
Ham sandwich theorem — In measure theory, a branch of mathematics, the ham sandwich theorem, also called the Stone–Tukey theorem after Arthur H. Stone and John Tukey, states that given n objects in n dimensional space, it is possible to divide all of them in half… … Wikipedia
Valiant-Vazirani theorem — The Valiant Vazirani Theorem was proven by Leslie Valiant and Vijay Vazirani in their paper titled NP is as easy as detecting unique solutions published in 1986. The theorem states that if there is a polynomial time algorithm for UNIQUE SAT, then … Wikipedia
Faltings' theorem — In number theory, the Mordell conjecture is the conjecture made by Mordell (1922) that a curve of genus greater than 1 over the field Q of rational numbers has only finitely many rational points. The conjecture was later generalized by replacing… … Wikipedia
Cook–Levin theorem — In computational complexity theory, the Cook–Levin theorem, also known as Cook s theorem, states that the Boolean satisfiability problem is NP complete. That is, any problem in NP can be reduced in polynomial time by a deterministic Turing… … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… … Wikipedia
Poincaré–Birkhoff–Witt theorem — In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (Poincaré (1900), G. D. Birkhoff (1937), Witt (1937); frequently contracted to PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

reduction theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

reduction theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: